range: Stop tracking mouse location
authorTimm Bäder <mail@baedert.org>
Tue, 20 Feb 2018 09:16:00 +0000 (10:16 +0100)
committerTimm Bäder <mail@baedert.org>
Fri, 23 Feb 2018 09:47:05 +0000 (10:47 +0100)
commite9ecfeaca6979c3742e680e0b792ecc110b3e7c9
tree8158b488e743907d5a424f8eb341fb800df2e88a
parent69fa3c48765eead1d9e2001c7ff650feadf879c4
range: Stop tracking mouse location

Instead, just use gtk_widget_pick() to get the widget at the pointer
position whenever we need it.
gtk/gtkrange.c